Recursive objects in all finite types
نویسندگان
چکیده
منابع مشابه
Recursive Types
Vladimir Gapeyev Michael Y. Levin Benjamin C. Pierce Department of Computer and Information Science University of Pennsylvania fvgapeyev,bcpierce,[email protected] Category: Pearls Abstract Algorithms for checking subtyping between recursive types lie at the core of many modern programming language implementations. But the fundamental theory of these algorithms and how they relate to simpl...
متن کاملRecursive Types in Kleisli Categories
We show that an enriched version of Freyd's principle of versality holds in the Kleisli category of a commutative strong monad with xed-point object. This gives a general categorical setting in which it is possible to model recursive types involving the usual datatype constructors.
متن کاملGames for Recursive Types
We present results concerning the solution of recursive domain equations in the category G of games, which is a modiied version of the category presented in AJM94]. New constructions corresponding to lifting and separated sum for games are presented, and are used to generate games for two simple recursive types: the vertical and lazy natural numbers. Recently, the \game semantics" paradigm has ...
متن کاملRecursive Session Types Revisited
Session types model structured communication-based programming. In particular, binary session types for the πcalculus describe communication between exactly two participants in a distributed scenario. Adding sessions to the πcalculus means augmenting it with type and term constructs. In a previous paper, we tried to understand to which extent the session constructs are more complex and expressi...
متن کاملSubtyping with Union Types, Intersection Types and Recursive Types II
This paper is a follow-up on previous work by the author on subtyping with (set-theoretic) union, intersection and recursive types. Previously, it was shown how types may be encoded as regular tree expressions/set constraints. This gave rise to a sound and complete decision procedure for type inclusion. The result was, however, limited to a rather speciic type language. In the work reported on ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 1964
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm-54-1-73-93